How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·16h
📊Static Analysis
How To Solve Every Programming Problem
blog.codeminer42.com·54m
📐Interval Arithmetic
Out-Fibbing CPython with the Plush Interpreter
pointersgonewild.com·20h·
Discuss: Lobsters
🔗Functional Compilers
AI and the 10x Engineer Myth
taoofmac.com·12h
⚡Proof Automation
Prompt injection engineering for attackers: Exploiting GitHub Copilot
blog.trailofbits.com·16h
🛡️CLI Security
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·5h·
Discuss: Hacker News
⚡Proof Automation
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Polyfill This! Flat, Map, Filter & Reduce — The Hard Way
hackernoon.com·13h
⬆️Lambda Lifting
Show HN: Principles of Building AI Agents book [pdf]
github.com·5h·
Discuss: Hacker News
⚡Proof Automation
Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation
arxiv.org·16h
🎯Performance Proofs
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·3d·
Discuss: Substack, r/programming
🎯Proof Tactics
AI can write code, but should you trust it blindly?
dev.to·7h·
Discuss: DEV
⚡Proof Automation
AI Plays Risk – Lessons from a silly benchmark
andreasthinks.me·5h·
Discuss: Hacker News
🔲Cellular Automata
Python performance myths and fairy tales
lwn.net·11h·
Discuss: Lobsters, Hacker News
💻Programming languages
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Beginner’s Guide to Gemini CLI: Install, Setup, and Use It Like a Pro
kdnuggets.com·8h
⚡Proof Automation
YC Startups Use AI: Agents, OCR, and Prompt Engineering with Mercoa (YC W23)
aiengineering.report·3h·
Discuss: Hacker News
⚡Proof Automation
Redprints CFP: an open source CFP management app built with Rails + Inertia.js
evilmartians.com·20h·
Discuss: Hacker News
⭐Awesome lists
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·16h
📏Linear Logic